Note on monoidal localisation
نویسندگان
چکیده
منابع مشابه
A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories
We illustrate a minor error in the biadjointness result for 2-categories of traced monoidal categories and tortile monoidal categories stated by Joyal, Street and Verity. We also show that the biadjointness holds after suitably changing the definition of 2-cells. In the seminal paper “Traced Monoidal Categories” by Joyal, Street and Verity [4], it is claimed that the Int-construction gives a le...
متن کاملA Note on Actions of a Monoidal Category
An action ∗ : V × A−→ A of a monoidal category V on a category A corresponds to a strong monoidal functor F : V−→ [A,A] into the monoidal category of endofunctors of A. In many practical cases, the ordinary functor f : V−→ [A,A] underlying the monoidal F has a right adjoint g; and when this is so, F itself has a right adjoint G as a monoidal functor—so that, passing to the categories of monoids...
متن کاملOn Involutive Monoidal Categories
In this paper, we consider a non-posetal analogue of the notion of involutive quantale [MP92]; specifically, a (planar) monoidal category equipped with a covariant involution that reverses the order of tensoring. We study the coherence issues that inevitably result when passing from posets to categories; we also link our subject with other notions already in the literature, such as balanced mon...
متن کاملNote on Commutativity in Double Semigroups and Two-fold Monoidal Categories
A concrete computation — twelve slidings with sixteen tiles — reveals that certain commutativity phenomena occur in every double semigroup. This can be seen as a sort of EckmannHilton argument, but it does not use units. The result implies in particular that all cancellative double semigroups and all inverse double semigroups are commutative. Stepping up one dimension, the result is used to pro...
متن کاملOn traced monoidal closed categories
The structure theorem of Joyal, Street and Verity says that every traced monoidal category C arises as a monoidal full subcategory of the tortile monoidal category IntC. In this paper we focus on a simple observation that a traced monoidal category C is closed if and only if the canonical inclusion from C into IntC has a right adjoint. Thus, every traced monoidal closed category arises as a mon...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Australian Mathematical Society
سال: 1973
ISSN: 0004-9727,1755-1633
DOI: 10.1017/s0004972700045433